[next] [prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

131 131 109 303 101 227 0 322 -1

N.S.

1 1.00 0.83 2.31 0.77 1.73 0.00 2.46 -0.01

time (sec)

N/A 0.169 0.393 0.503 0.320 0.357 0.000 0.436 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

245 245 220 1082 552 601 1134 580 393

N.S.

1 1.00 0.90 4.42 2.25 2.45 4.63 2.37 1.60

time (sec)

N/A 0.202 0.859 0.637 0.300 0.489 0.770 0.440 1.046

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

174 174 189 550 343 356 694 333 217

N.S.

1 1.00 1.09 3.16 1.97 2.05 3.99 1.91 1.25

time (sec)

N/A 0.140 0.401 0.631 0.280 0.401 0.569 0.469 0.676

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 86 215 176 169 357 155 104

N.S.

1 1.00 0.70 1.76 1.44 1.39 2.93 1.27 0.85

time (sec)

N/A 0.071 0.556 0.622 0.277 0.358 0.380 0.447 0.352

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 117 193 154 153 0 135 -1

N.S.

1 1.00 0.79 1.30 1.03 1.03 0.00 0.91 -0.01

time (sec)

N/A 0.256 0.209 3.452 0.319 0.366 0.000 0.422 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

170 170 214 313 187 285 0 1134 -1

N.S.

1 1.00 1.26 1.84 1.10 1.68 0.00 6.67 -0.01

time (sec)

N/A 0.245 0.383 3.392 0.315 0.404 0.000 0.513 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

236 236 198 625 209 472 0 682 -1

N.S.

1 1.00 0.84 2.65 0.89 2.00 0.00 2.89 -0.00

time (sec)

N/A 0.369 1.469 3.440 0.334 0.393 0.000 0.435 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

132 132 209 435 249 372 0 0 -1

N.S.

1 1.00 1.58 3.30 1.89 2.82 0.00 0.00 -0.01

time (sec)

N/A 0.208 1.960 1.244 0.372 0.330 0.000 0.000 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 139 227 0 212 0 0 -1

N.S.

1 1.00 1.38 2.25 0.00 2.10 0.00 0.00 -0.01

time (sec)

N/A 0.150 1.583 0.980 0.000 0.383 0.000 0.000 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 185 66 80 64 56 67 56

N.S.

1 1.00 2.94 1.05 1.27 1.02 0.89 1.06 0.89

time (sec)

N/A 0.052 0.309 0.805 0.270 0.381 0.129 0.411 0.340

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.045 17.568 180.000 0.000 0.000 0.000 0.000 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.045 18.055 180.000 0.000 0.000 0.000 0.000 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

305 305 508 723 659 938 0 0 -1

N.S.

1 1.00 1.67 2.37 2.16 3.08 0.00 0.00 -0.00

time (sec)

N/A 0.289 4.132 3.246 0.457 0.343 0.000 0.000 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

241 241 259 374 0 504 0 0 -1

N.S.

1 1.00 1.07 1.55 0.00 2.09 0.00 0.00 -0.00

time (sec)

N/A 0.210 2.544 2.588 0.000 0.341 0.000 0.000 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

158 158 241 113 271 170 167 195 160

N.S.

1 1.00 1.53 0.72 1.72 1.08 1.06 1.23 1.01

time (sec)

N/A 0.075 0.679 2.748 0.288 0.382 0.275 0.436 0.542

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.044 24.780 180.000 0.000 0.000 0.000 0.000 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.040 26.265 180.000 0.000 0.000 0.000 0.000 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-2) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

181 181 141 174 0 0 0 0 149

N.S.

1 1.00 0.78 0.96 0.00 0.00 0.00 0.00 0.82

time (sec)

N/A 0.150 0.171 0.302 0.000 0.000 0.000 0.000 0.722

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-2) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

136 136 125 151 0 0 0 0 126

N.S.

1 1.00 0.92 1.11 0.00 0.00 0.00 0.00 0.93

time (sec)

N/A 0.117 0.165 0.241 0.000 0.000 0.000 0.000 0.360

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-2) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

111 111 105 128 0 0 0 0 92

N.S.

1 1.00 0.95 1.15 0.00 0.00 0.00 0.00 0.83

time (sec)

N/A 0.096 0.130 0.234 0.000 0.000 0.000 0.000 0.289

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-2) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

66 66 87 105 0 0 0 0 80

N.S.

1 1.00 1.32 1.59 0.00 0.00 0.00 0.00 1.21

time (sec)

N/A 0.054 0.104 0.230 0.000 0.000 0.000 0.000 0.267

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

125 125 96 0 0 0 0 0 -1

N.S.

1 1.00 0.77 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.105 0.094 0.311 0.000 0.000 0.000 0.000 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 133 0 0 0 0 0 -1

N.S.

1 1.00 0.89 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.122 0.153 0.122 0.000 0.000 0.000 0.000 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

204 204 170 0 0 0 0 0 -1

N.S.

1 1.00 0.83 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.144 0.204 0.121 0.000 0.000 0.000 0.000 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

377 377 269 0 0 0 0 0 -1

N.S.

1 1.00 0.71 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.249 0.597 0.159 0.000 0.000 0.000 0.000 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

303 303 173 0 0 0 0 0 -1

N.S.

1 1.00 0.57 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.182 0.518 0.118 0.000 0.000 0.000 0.000 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

185 185 138 0 0 0 0 0 -1

N.S.

1 1.00 0.75 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.096 0.363 0.126 0.000 0.000 0.000 0.000 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

261 261 146 0 0 0 0 0 -1

N.S.

1 1.00 0.56 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.197 0.353 0.124 0.000 0.000 0.000 0.000 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

302 302 243 0 0 0 0 0 -1

N.S.

1 1.00 0.80 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.198 0.429 0.124 0.000 0.000 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-2) F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

638 638 2918 0 0 0 0 0 -1

N.S.

1 1.00 4.57 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.444 6.318 0.380 0.000 0.000 0.000 0.000 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

506 506 300 0 0 0 0 0 -1

N.S.

1 1.00 0.59 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.262 0.717 0.124 0.000 0.000 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

312 312 218 0 0 0 0 0 -1

N.S.

1 1.00 0.70 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.135 0.573 0.122 0.000 0.000 0.000 0.000 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

403 403 242 0 0 0 0 0 -1

N.S.

1 1.00 0.60 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.287 0.615 0.123 0.000 0.000 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

444 444 347 0 0 0 0 0 -1

N.S.

1 1.00 0.78 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.304 1.130 0.123 0.000 0.000 0.000 0.000 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-2) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

536 536 4751 0 0 0 0 0 -1

N.S.

1 1.00 8.86 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.418 6.405 0.124 0.000 0.000 0.000 0.000 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

493 493 331 0 0 0 0 0 -1

N.S.

1 1.00 0.67 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.182 0.823 0.187 0.000 0.000 0.000 0.000 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

349 349 276 0 0 0 0 0 -1

N.S.

1 1.00 0.79 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.143 0.663 0.154 0.000 0.000 0.000 0.000 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

207 207 221 0 0 0 0 0 -1

N.S.

1 1.00 1.07 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.075 0.341 0.155 0.000 0.000 0.000 0.000 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

24 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.055 2.813 0.183 0.000 0.000 0.000 0.000 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

24 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.049 2.871 0.186 0.000 0.000 0.000 0.000 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

807 807 546 0 0 0 0 0 -1

N.S.

1 1.00 0.68 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.340 1.784 0.189 0.000 0.000 0.000 0.000 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

506 506 384 0 0 0 0 0 -1

N.S.

1 1.00 0.76 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.234 1.197 0.185 0.000 0.000 0.000 0.000 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

288 288 332 0 0 0 0 0 -1

N.S.

1 1.00 1.15 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.124 0.607 0.184 0.000 0.000 0.000 0.000 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

24 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.060 15.756 0.188 0.000 0.000 0.000 0.000 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

24 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.056 17.520 0.185 0.000 0.000 0.000 0.000 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1016 1016 1200 0 0 0 0 0 -1

N.S.

1 1.00 1.18 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.499 2.699 0.187 0.000 0.000 0.000 0.000 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

689 689 482 0 0 0 0 0 -1

N.S.

1 1.00 0.70 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.320 1.594 0.184 0.000 0.000 0.000 0.000 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

416 416 411 0 0 0 0 0 -1

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.173 1.065 0.187 0.000 0.000 0.000 0.000 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

24 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.059 25.091 0.190 0.000 0.000 0.000 0.000 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

24 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.048 2.877 0.043 0.000 0.000 0.000 0.000 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.036 2.793 180.000 0.000 0.000 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

410 410 452 0 383 380 0 0 -1

N.S.

1 1.00 1.10 0.00 0.93 0.93 0.00 0.00 -0.00

time (sec)

N/A 0.418 4.366 180.000 0.123 0.100 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

268 268 383 0 214 263 0 0 -1

N.S.

1 1.00 1.43 0.00 0.80 0.98 0.00 0.00 -0.00

time (sec)

N/A 0.266 7.849 180.000 0.092 0.093 0.000 0.000 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 166 0 103 136 0 0 -1

N.S.

1 1.00 1.23 0.00 0.76 1.01 0.00 0.00 -0.01

time (sec)

N/A 0.104 4.665 180.000 0.063 0.098 0.000 0.000 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.039 3.034 180.000 0.000 0.000 0.000 0.000 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.037 12.226 180.000 0.000 0.000 0.000 0.000 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 123 482 247 174 264 258 187

N.S.

1 1.00 1.38 5.42 2.78 1.96 2.97 2.90 2.10

time (sec)

N/A 0.097 0.262 0.412 0.277 0.339 0.283 0.437 0.243

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 83 240 147 108 151 146 110

N.S.

1 1.00 1.24 3.58 2.19 1.61 2.25 2.18 1.64

time (sec)

N/A 0.065 0.188 0.355 0.274 0.325 0.155 0.430 0.107

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 43 91 69 57 68 64 49

N.S.

1 1.00 0.96 2.02 1.53 1.27 1.51 1.42 1.09

time (sec)

N/A 0.033 0.091 0.373 0.262 0.330 0.100 0.453 0.143

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

64 64 57 94 73 122 0 68 -1

N.S.

1 1.00 0.89 1.47 1.14 1.91 0.00 1.06 -0.02

time (sec)

N/A 0.102 0.087 0.424 0.297 0.376 0.000 0.426 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 71 149 90 178 0 630 -1

N.S.

1 1.00 0.82 1.71 1.03 2.05 0.00 7.24 -0.01

time (sec)

N/A 0.119 0.229 0.437 0.298 0.359 0.000 0.438 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

123 123 95 296 101 293 0 319 -1

N.S.

1 1.00 0.77 2.41 0.82 2.38 0.00 2.59 -0.01

time (sec)

N/A 0.156 0.395 0.447 0.310 0.357 0.000 0.433 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

250 250 235 1061 547 433 779 598 481

N.S.

1 1.00 0.94 4.24 2.19 1.73 3.12 2.39 1.92

time (sec)

N/A 0.195 0.719 0.613 0.289 0.345 0.460 0.445 1.858

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

182 182 249 535 339 262 456 344 281

N.S.

1 1.00 1.37 2.94 1.86 1.44 2.51 1.89 1.54

time (sec)

N/A 0.141 0.434 0.819 0.282 0.357 0.301 0.445 0.550

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

116 116 98 208 173 143 219 159 135

N.S.

1 1.00 0.84 1.79 1.49 1.23 1.89 1.37 1.16

time (sec)

N/A 0.071 0.421 0.934 0.279 0.342 0.167 0.427 0.147

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

156 156 134 201 152 255 0 144 -1

N.S.

1 1.00 0.86 1.29 0.97 1.63 0.00 0.92 -0.01

time (sec)

N/A 0.252 0.167 8.269 0.334 0.359 0.000 0.429 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

183 183 232 319 185 542 0 1135 -1

N.S.

1 1.00 1.27 1.74 1.01 2.96 0.00 6.20 -0.01

time (sec)

N/A 0.253 0.403 6.297 0.331 0.374 0.000 0.486 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

242 242 395 626 207 834 0 678 -1

N.S.

1 1.00 1.63 2.59 0.86 3.45 0.00 2.80 -0.00

time (sec)

N/A 0.324 0.570 7.543 0.357 0.373 0.000 0.439 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

404 404 318 0 0 1382 0 0 -1

N.S.

1 1.00 0.79 0.00 0.00 3.42 0.00 0.00 -0.00

time (sec)

N/A 0.557 0.184 180.000 0.000 0.364 0.000 0.000 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

296 296 233 0 0 910 0 0 -1

N.S.

1 1.00 0.79 0.00 0.00 3.07 0.00 0.00 -0.00

time (sec)

N/A 0.469 0.112 180.000 0.000 0.396 0.000 0.000 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

187 187 142 393 0 541 0 0 -1

N.S.

1 1.00 0.76 2.10 0.00 2.89 0.00 0.00 -0.01

time (sec)

N/A 0.253 0.028 1.033 0.000 0.349 0.000 0.000 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.045 0.676 180.000 0.000 0.000 0.000 0.000 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.043 0.673 180.000 0.000 0.000 0.000 0.000 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

549 549 428 0 0 5925 0 0 -1

N.S.

1 1.00 0.78 0.00 0.00 10.79 0.00 0.00 -0.00

time (sec)

N/A 0.706 1.119 1.838 0.000 0.442 0.000 0.000 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

254 254 194 519 0 2245 0 0 -1

N.S.

1 1.00 0.76 2.04 0.00 8.84 0.00 0.00 -0.00

time (sec)

N/A 0.318 0.752 2.875 0.000 0.408 0.000 0.000 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.041 33.846 180.000 0.000 0.000 0.000 0.000 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.038 35.115 180.000 0.000 0.000 0.000 0.000 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

544 544 774 1232 0 7272 0 0 -1

N.S.

1 1.00 1.42 2.26 0.00 13.37 0.00 0.00 -0.00

time (sec)

N/A 1.464 7.080 1.571 0.000 0.455 0.000 0.000 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.040 69.673 180.000 0.000 0.000 0.000 0.000 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.037 65.539 180.000 0.000 0.000 0.000 0.000 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.035 3.036 180.000 0.000 0.000 0.000 0.000 0.000

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F A A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

543 543 2639 0 385 899 0 0 -1

N.S.

1 1.00 4.86 0.00 0.71 1.66 0.00 0.00 -0.00

time (sec)

N/A 0.556 18.525 180.000 0.122 0.113 0.000 0.000 0.000

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A B F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

281 281 241 0 212 563 0 0 -1

N.S.

1 1.00 0.86 0.00 0.75 2.00 0.00 0.00 -0.00

time (sec)

N/A 0.257 6.477 180.000 0.083 0.150 0.000 0.000 0.000

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A B F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

131 131 201 0 103 271 0 0 -1

N.S.

1 1.00 1.53 0.00 0.79 2.07 0.00 0.00 -0.01

time (sec)

N/A 0.100 17.295 180.000 0.062 0.105 0.000 0.000 0.000

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.036 0.875 180.000 0.000 0.000 0.000 0.000 0.000

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.037 3.820 180.000 0.000 0.000 0.000 0.000 0.000

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

163 163 247 513 321 455 0 0 -1

N.S.

1 1.00 1.52 3.15 1.97 2.79 0.00 0.00 -0.01

time (sec)

N/A 0.241 2.201 1.546 0.361 0.420 0.000 0.000 0.000

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

130 130 183 281 0 263 0 0 -1

N.S.

1 1.00 1.41 2.16 0.00 2.02 0.00 0.00 -0.01

time (sec)

N/A 0.186 1.702 1.283 0.000 0.347 0.000 0.000 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 239 86 109 97 73 111 74

N.S.

1 1.00 2.66 0.96 1.21 1.08 0.81 1.23 0.82

time (sec)

N/A 0.076 0.409 1.273 0.286 0.396 0.165 0.429 0.548

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

35 35 84 57 36 33 24 33 27

N.S.

1 1.00 2.40 1.63 1.03 0.94 0.69 0.94 0.77

time (sec)

N/A 0.029 0.099 0.883 0.261 0.334 0.077 0.420 0.244

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

32 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.033 34.863 180.000 0.000 0.000 0.000 0.000 0.000

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

32 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.035 32.804 180.000 0.000 0.000 0.000 0.000 0.000

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

241 241 872 699 697 825 0 0 -1

N.S.

1 1.00 3.62 2.90 2.89 3.42 0.00 0.00 -0.00

time (sec)

N/A 0.375 4.516 3.165 0.438 0.408 0.000 0.000 0.000

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

184 184 249 385 0 475 0 0 -1

N.S.

1 1.00 1.35 2.09 0.00 2.58 0.00 0.00 -0.01

time (sec)

N/A 0.279 2.446 1.760 0.000 0.352 0.000 0.000 0.000

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

119 119 238 134 239 176 224 251 143

N.S.

1 1.00 2.00 1.13 2.01 1.48 1.88 2.11 1.20

time (sec)

N/A 0.130 0.667 1.617 0.332 0.443 0.320 0.450 0.582

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

52 52 59 86 74 69 99 63 59

N.S.

1 1.00 1.13 1.65 1.42 1.33 1.90 1.21 1.13

time (sec)

N/A 0.068 0.173 0.911 0.273 0.387 0.156 0.441 0.305

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

34 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.056 170.221 180.000 0.000 0.000 0.000 0.000 0.000

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

34 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.051 150.469 180.000 0.000 0.000 0.000 0.000 0.000

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

393 393 397 940 0 1045 0 0 -1

N.S.

1 1.00 1.01 2.39 0.00 2.66 0.00 0.00 -0.00

time (sec)

N/A 0.499 6.985 2.792 0.000 0.371 0.000 0.000 0.000

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-2) B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

287 287 831 520 0 596 0 0 -1

N.S.

1 1.00 2.90 1.81 0.00 2.08 0.00 0.00 -0.00

time (sec)

N/A 0.379 4.235 2.596 0.000 0.407 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]